Nuprl Definition : ma_ds 11,40
ds(M) == M.1 
latex

Definitionst.1
FDL editor aliasesma_ds

origin